Draw a border around the panel. Move it to -1,-1 and make the width+2 so we only...

svn path=/trunk/; revision=19

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 22fcafa3b688d46cfb8f9cd8d65aeb1e55c551b4..f702a7c1ddf274084c15c206272feaf8d9147e87 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -26,8 +26,10 @@ Panel.prototype = {
 
        let background = new Clutter.Rectangle({ color: PANEL_BACKGROUND_COLOR,
                                                 reactive: true,
-                                                width: global.screen_width,
-                                                height: PANEL_HEIGHT });
+                                                width: global.screen_width+2,
+                                                height: PANEL_HEIGHT+1,
+                                                border_width: 1});
+       background.set_position(-1, -1)
        this._group.add_actor(background);
 
        let message = new Clutter.Label({ font_name: "Sans Bold 16px",